Solving hard trig equations using double angle and compound angle identities